PittsburghV1, France, Analysis, bibRecord, 000190

Generative Story Worlds as Linear Logic Programs

Identifieur interne : 000190 ( France/Analysis ); précédent : 000189; suivant : 000191

Generative Story Worlds as Linear Logic Programs

Auteurs : Chris Martens [États-Unis] ; João F. Ferreira [Royaume-Uni] ; Anne-Gwenn Bosser [France] ; Marc Cavazza [Royaume-Uni]

Source :

RBID : Hal:hal-01169879
Url:

https://hal.archives-ouvertes.fr/hal-01169879

Affiliations:

Links toward previous steps (curation, corpus...)

to stream Hal, to step Corpus: 000303
to stream Hal, to step Curation: 000303
to stream Hal, to step Checkpoint: 000212
to stream Main, to step Merge: 000703
to stream Main, to step Curation: 000703
to stream Main, to step Exploration: 000703
to stream France, to step Extraction: 000190

Links to Exploration step

Hal:hal-01169879

Le document en format XML

<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en">Generative Story Worlds as Linear Logic Programs</title>
<author><name sortKey="Martens, Chris" sort="Martens, Chris" uniqKey="Martens C" first="Chris" last="Martens">Chris Martens</name>
<affiliation wicri:level="1"><hal:affiliation type="institution" xml:id="struct-67135" status="VALID">          <orgName>Carnegie Mellon University [Pittsburgh]</orgName>
          <orgName type="acronym">CMU</orgName>
          <desc>            <address>              <addrLine>5000 Forbes Ave,  Pittsburgh, PA 15213</addrLine>
              <country key="US"></country>
            </address>
            <ref type="url">http://www.cmu.edu/</ref>
          </desc>
        </hal:affiliation>
<country>États-Unis</country>
</affiliation>
</author>
<author><name sortKey="F Ferreira, Joao" sort="F Ferreira, Joao" uniqKey="F Ferreira J" first="João" last="F. Ferreira">João F. Ferreira</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-147424" status="INCOMING">          <orgName>University of Teesside</orgName>
          <desc>            <address>              <country key="GB"></country>
            </address>
          </desc>
          <listRelation>            <relation active="#struct-365657" type="direct"></relation>
          </listRelation>
        <tutelles><tutelle active="#struct-365657" type="direct"><org type="institution" xml:id="struct-365657" status="INCOMING">          <orgName>University of Teesside</orgName>
          <desc>            <address>              <country key="FR"></country>
            </address>
          </desc>
        </org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>Royaume-Uni</country>
</affiliation>
</author>
<author><name sortKey="Bosser, Anne Gwenn" sort="Bosser, Anne Gwenn" uniqKey="Bosser A" first="Anne-Gwenn" last="Bosser">Anne-Gwenn Bosser</name>
<affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-389608" status="OLD">          <orgName>Lab-STICC_ENIB_CID_IHSEV</orgName>
          <date type="end">2016-12-31</date>
          <desc>            <address>              <country key="FR"></country>
            </address>
          </desc>
          <listRelation>            <relation active="#struct-199324" type="direct"></relation>
            <relation active="#struct-131284" type="indirect"></relation>
            <relation active="#struct-172265" type="indirect"></relation>
            <relation active="#struct-300314" type="indirect"></relation>
            <relation active="#struct-301262" type="indirect"></relation>
            <relation active="#struct-301521" type="indirect"></relation>
            <relation active="#struct-108091" type="indirect"></relation>
            <relation active="#struct-301846" type="indirect"></relation>
            <relation active="#struct-302102" type="indirect"></relation>
            <relation name="UMR6285" active="#struct-441569" type="indirect"></relation>
          </listRelation>
        <tutelles><tutelle active="#struct-199324" type="direct"><org type="laboratory" xml:id="struct-199324" status="OLD">          <orgName>Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance</orgName>
          <orgName type="acronym">Lab-STICC</orgName>
          <desc>            <address>              <addrLine>Technopole Brest Iroise BP 832 29285 BREST CEDEX</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.lab-sticc.fr/</ref>
          </desc>
          <listRelation>            <relation active="#struct-131284" type="direct"></relation>
            <relation active="#struct-172265" type="direct"></relation>
            <relation active="#struct-300314" type="direct"></relation>
            <relation active="#struct-301262" type="direct"></relation>
            <relation active="#struct-301521" type="direct"></relation>
            <relation active="#struct-108091" type="direct"></relation>
            <relation active="#struct-301846" type="direct"></relation>
            <relation active="#struct-302102" type="direct"></relation>
            <relation name="UMR6285" active="#struct-441569" type="direct"></relation>
          </listRelation>
        </org>
</tutelle>
<tutelle active="#struct-131284" type="indirect"><org type="institution" xml:id="struct-131284" status="VALID">          <orgName>École Nationale d'Ingénieurs de Brest</orgName>
          <orgName type="acronym">ENIB</orgName>
          <desc>            <address>              <addrLine>945 avenue du Technopole - 29280 Plouzané</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.enib.fr/</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-172265" type="indirect"><org type="institution" xml:id="struct-172265" status="VALID">          <orgName>Université de Bretagne Sud</orgName>
          <orgName type="acronym">UBS</orgName>
          <desc>            <address>              <addrLine>BP 92116 - 56321 Lorient cedex</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.univ-ubs.fr/</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-300314" type="indirect"><org type="institution" xml:id="struct-300314" status="VALID"><orgName>Université de Brest</orgName>
<orgName type="acronym">UBO</orgName>
<desc><address><addrLine>Université de Bretagne Occidentale - 3 Rue des Archives 29238, Brest</addrLine>
<country key="FR"></country>
</address>
<ref type="url">https://www.univ-brest.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-301262" type="indirect"><org type="institution" xml:id="struct-301262" status="VALID">          <orgName>Télécom Bretagne</orgName>
          <date type="start">1977</date>
          <desc>            <address>              <addrLine>Technopôle Brest-IroiseCS 8381829238 BREST Cedex 3</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.telecom-bretagne.eu/</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-301521" type="indirect"><org type="regrouplaboratory" xml:id="struct-301521" status="VALID">          <orgName>Institut Brestois du Numérique et des Mathématiques</orgName>
          <orgName type="acronym">IBNM</orgName>
          <desc>            <address>              <addrLine>Université de Brest - UBO3 Rue des Archives, 29238 Brest</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">https://www.univ-brest.fr/menu/recherche-innovation/Laboratoires/Axe+Num%C3%A9rique-Math%C3%A9matiques/</ref>
          </desc>
          <listRelation>            <relation active="#struct-300314" type="direct"></relation>
          </listRelation>
        </org>
</tutelle>
<tutelle active="#struct-108091" type="indirect"><org type="institution" xml:id="struct-108091" status="OLD">          <orgName>Université européenne de Bretagne</orgName>
          <orgName type="acronym">UEB</orgName>
          <desc>            <address>              <addrLine>5 boulevard Laënnec - 35000 Rennes</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.ueb.eu/</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-301846" type="indirect"><org type="institution" xml:id="struct-301846" status="VALID">          <orgName>ENSTA Bretagne</orgName>
          <desc>            <address>              <addrLine>2 rue François Verny, 29806 Brest cedex 9</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.ensta-bretagne.fr</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-302102" type="indirect"><org type="institution" xml:id="struct-302102" status="VALID">          <orgName>Institut Mines-Télécom [Paris]</orgName>
          <desc>            <address>              <addrLine>37-39 Rue Dareau, 75014 Paris</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.mines-telecom.fr/</ref>
          </desc>
        </org>
</tutelle>
<tutelle name="UMR6285" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID">          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>            <address>              <country key="FR"></country>
            </address>
            <ref type="url">http://www.cnrs.fr/</ref>
          </desc>
        </org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Lorient</settlement>
<region type="region" nuts="2">Région Bretagne</region>
</placeName>
<orgName type="university">Université de Bretagne-Sud</orgName>
<orgName type="institution" wicri:auto="newGroup">Université européenne de Bretagne</orgName>
</affiliation>
</author>
<author><name sortKey="Cavazza, Marc" sort="Cavazza, Marc" uniqKey="Cavazza M" first="Marc" last="Cavazza">Marc Cavazza</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-147424" status="INCOMING">          <orgName>University of Teesside</orgName>
          <desc>            <address>              <country key="GB"></country>
            </address>
          </desc>
          <listRelation>            <relation active="#struct-365657" type="direct"></relation>
          </listRelation>
        <tutelles><tutelle active="#struct-365657" type="direct"><org type="institution" xml:id="struct-365657" status="INCOMING">          <orgName>University of Teesside</orgName>
          <desc>            <address>              <country key="FR"></country>
            </address>
          </desc>
        </org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>Royaume-Uni</country>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">HAL</idno>
<idno type="RBID">Hal:hal-01169879</idno>
<idno type="halId">hal-01169879</idno>
<idno type="halUri">https://hal.archives-ouvertes.fr/hal-01169879</idno>
<idno type="url">https://hal.archives-ouvertes.fr/hal-01169879</idno>
<date when="2014-06-17">2014-06-17</date>
<idno type="wicri:Area/Hal/Corpus">000303</idno>
<idno type="wicri:Area/Hal/Curation">000303</idno>
<idno type="wicri:Area/Hal/Checkpoint">000212</idno>
<idno type="wicri:explorRef" wicri:stream="Hal" wicri:step="Checkpoint">000212</idno>
<idno type="wicri:Area/Main/Merge">000703</idno>
<idno type="wicri:Area/Main/Curation">000703</idno>
<idno type="wicri:Area/Main/Exploration">000703</idno>
<idno type="wicri:Area/France/Extraction">000190</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">Generative Story Worlds as Linear Logic Programs</title>
<author><name sortKey="Martens, Chris" sort="Martens, Chris" uniqKey="Martens C" first="Chris" last="Martens">Chris Martens</name>
<affiliation wicri:level="1"><hal:affiliation type="institution" xml:id="struct-67135" status="VALID">          <orgName>Carnegie Mellon University [Pittsburgh]</orgName>
          <orgName type="acronym">CMU</orgName>
          <desc>            <address>              <addrLine>5000 Forbes Ave,  Pittsburgh, PA 15213</addrLine>
              <country key="US"></country>
            </address>
            <ref type="url">http://www.cmu.edu/</ref>
          </desc>
        </hal:affiliation>
<country>États-Unis</country>
</affiliation>
</author>
<author><name sortKey="F Ferreira, Joao" sort="F Ferreira, Joao" uniqKey="F Ferreira J" first="João" last="F. Ferreira">João F. Ferreira</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-147424" status="INCOMING">          <orgName>University of Teesside</orgName>
          <desc>            <address>              <country key="GB"></country>
            </address>
          </desc>
          <listRelation>            <relation active="#struct-365657" type="direct"></relation>
          </listRelation>
        <tutelles><tutelle active="#struct-365657" type="direct"><org type="institution" xml:id="struct-365657" status="INCOMING">          <orgName>University of Teesside</orgName>
          <desc>            <address>              <country key="FR"></country>
            </address>
          </desc>
        </org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>Royaume-Uni</country>
</affiliation>
</author>
<author><name sortKey="Bosser, Anne Gwenn" sort="Bosser, Anne Gwenn" uniqKey="Bosser A" first="Anne-Gwenn" last="Bosser">Anne-Gwenn Bosser</name>
<affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-389608" status="OLD">          <orgName>Lab-STICC_ENIB_CID_IHSEV</orgName>
          <date type="end">2016-12-31</date>
          <desc>            <address>              <country key="FR"></country>
            </address>
          </desc>
          <listRelation>            <relation active="#struct-199324" type="direct"></relation>
            <relation active="#struct-131284" type="indirect"></relation>
            <relation active="#struct-172265" type="indirect"></relation>
            <relation active="#struct-300314" type="indirect"></relation>
            <relation active="#struct-301262" type="indirect"></relation>
            <relation active="#struct-301521" type="indirect"></relation>
            <relation active="#struct-108091" type="indirect"></relation>
            <relation active="#struct-301846" type="indirect"></relation>
            <relation active="#struct-302102" type="indirect"></relation>
            <relation name="UMR6285" active="#struct-441569" type="indirect"></relation>
          </listRelation>
        <tutelles><tutelle active="#struct-199324" type="direct"><org type="laboratory" xml:id="struct-199324" status="OLD">          <orgName>Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance</orgName>
          <orgName type="acronym">Lab-STICC</orgName>
          <desc>            <address>              <addrLine>Technopole Brest Iroise BP 832 29285 BREST CEDEX</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.lab-sticc.fr/</ref>
          </desc>
          <listRelation>            <relation active="#struct-131284" type="direct"></relation>
            <relation active="#struct-172265" type="direct"></relation>
            <relation active="#struct-300314" type="direct"></relation>
            <relation active="#struct-301262" type="direct"></relation>
            <relation active="#struct-301521" type="direct"></relation>
            <relation active="#struct-108091" type="direct"></relation>
            <relation active="#struct-301846" type="direct"></relation>
            <relation active="#struct-302102" type="direct"></relation>
            <relation name="UMR6285" active="#struct-441569" type="direct"></relation>
          </listRelation>
        </org>
</tutelle>
<tutelle active="#struct-131284" type="indirect"><org type="institution" xml:id="struct-131284" status="VALID">          <orgName>École Nationale d'Ingénieurs de Brest</orgName>
          <orgName type="acronym">ENIB</orgName>
          <desc>            <address>              <addrLine>945 avenue du Technopole - 29280 Plouzané</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.enib.fr/</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-172265" type="indirect"><org type="institution" xml:id="struct-172265" status="VALID">          <orgName>Université de Bretagne Sud</orgName>
          <orgName type="acronym">UBS</orgName>
          <desc>            <address>              <addrLine>BP 92116 - 56321 Lorient cedex</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.univ-ubs.fr/</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-300314" type="indirect"><org type="institution" xml:id="struct-300314" status="VALID"><orgName>Université de Brest</orgName>
<orgName type="acronym">UBO</orgName>
<desc><address><addrLine>Université de Bretagne Occidentale - 3 Rue des Archives 29238, Brest</addrLine>
<country key="FR"></country>
</address>
<ref type="url">https://www.univ-brest.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-301262" type="indirect"><org type="institution" xml:id="struct-301262" status="VALID">          <orgName>Télécom Bretagne</orgName>
          <date type="start">1977</date>
          <desc>            <address>              <addrLine>Technopôle Brest-IroiseCS 8381829238 BREST Cedex 3</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.telecom-bretagne.eu/</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-301521" type="indirect"><org type="regrouplaboratory" xml:id="struct-301521" status="VALID">          <orgName>Institut Brestois du Numérique et des Mathématiques</orgName>
          <orgName type="acronym">IBNM</orgName>
          <desc>            <address>              <addrLine>Université de Brest - UBO3 Rue des Archives, 29238 Brest</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">https://www.univ-brest.fr/menu/recherche-innovation/Laboratoires/Axe+Num%C3%A9rique-Math%C3%A9matiques/</ref>
          </desc>
          <listRelation>            <relation active="#struct-300314" type="direct"></relation>
          </listRelation>
        </org>
</tutelle>
<tutelle active="#struct-108091" type="indirect"><org type="institution" xml:id="struct-108091" status="OLD">          <orgName>Université européenne de Bretagne</orgName>
          <orgName type="acronym">UEB</orgName>
          <desc>            <address>              <addrLine>5 boulevard Laënnec - 35000 Rennes</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.ueb.eu/</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-301846" type="indirect"><org type="institution" xml:id="struct-301846" status="VALID">          <orgName>ENSTA Bretagne</orgName>
          <desc>            <address>              <addrLine>2 rue François Verny, 29806 Brest cedex 9</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.ensta-bretagne.fr</ref>
          </desc>
        </org>
</tutelle>
<tutelle active="#struct-302102" type="indirect"><org type="institution" xml:id="struct-302102" status="VALID">          <orgName>Institut Mines-Télécom [Paris]</orgName>
          <desc>            <address>              <addrLine>37-39 Rue Dareau, 75014 Paris</addrLine>
              <country key="FR"></country>
            </address>
            <ref type="url">http://www.mines-telecom.fr/</ref>
          </desc>
        </org>
</tutelle>
<tutelle name="UMR6285" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID">          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>            <address>              <country key="FR"></country>
            </address>
            <ref type="url">http://www.cnrs.fr/</ref>
          </desc>
        </org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Lorient</settlement>
<region type="region" nuts="2">Région Bretagne</region>
</placeName>
<orgName type="university">Université de Bretagne-Sud</orgName>
<orgName type="institution" wicri:auto="newGroup">Université européenne de Bretagne</orgName>
</affiliation>
</author>
<author><name sortKey="Cavazza, Marc" sort="Cavazza, Marc" uniqKey="Cavazza M" first="Marc" last="Cavazza">Marc Cavazza</name>
<affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-147424" status="INCOMING">          <orgName>University of Teesside</orgName>
          <desc>            <address>              <country key="GB"></country>
            </address>
          </desc>
          <listRelation>            <relation active="#struct-365657" type="direct"></relation>
          </listRelation>
        <tutelles><tutelle active="#struct-365657" type="direct"><org type="institution" xml:id="struct-365657" status="INCOMING">          <orgName>University of Teesside</orgName>
          <desc>            <address>              <country key="FR"></country>
            </address>
          </desc>
        </org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>Royaume-Uni</country>
</affiliation>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass></textClass>
</profileDesc>
</teiHeader>
</TEI>
<affiliations><list><country><li>France</li>
<li>Royaume-Uni</li>
<li>États-Unis</li>
</country>
<region><li>Région Bretagne</li>
</region>
<settlement><li>Lorient</li>
</settlement>
<orgName><li>Université de Bretagne-Sud</li>
<li>Université européenne de Bretagne</li>
</orgName>
</list>
<tree><country name="États-Unis"><noRegion><name sortKey="Martens, Chris" sort="Martens, Chris" uniqKey="Martens C" first="Chris" last="Martens">Chris Martens</name>
</noRegion>
</country>
<country name="Royaume-Uni"><noRegion><name sortKey="F Ferreira, Joao" sort="F Ferreira, Joao" uniqKey="F Ferreira J" first="João" last="F. Ferreira">João F. Ferreira</name>
</noRegion>
<name sortKey="Cavazza, Marc" sort="Cavazza, Marc" uniqKey="Cavazza M" first="Marc" last="Cavazza">Marc Cavazza</name>
</country>
<country name="France"><region name="Région Bretagne"><name sortKey="Bosser, Anne Gwenn" sort="Bosser, Anne Gwenn" uniqKey="Bosser A" first="Anne-Gwenn" last="Bosser">Anne-Gwenn Bosser</name>
</region>
</country>
</tree>
</affiliations>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Amérique/explor/PittsburghV1/Data/France/Analysis

HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000190 | SxmlIndent | more

HfdSelect -h $EXPLOR_AREA/Data/France/Analysis/biblio.hfd -nk 000190 | SxmlIndent | more

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Amérique
   |area=    PittsburghV1
   |flux=    France
   |étape=   Analysis
   |type=    RBID
   |clé=     Hal:hal-01169879
   |texte=   Generative Story Worlds as Linear Logic Programs
}}

This area was generated with Dilib version V0.6.38.
Data generation: Fri Jun 18 17:37:45 2021. Site generation: Fri Jun 18 18:15:47 2021

	Serveur d'exploration sur Pittsburgh
	Attention, ce site est en cours de développement ! Attention, site généré par des moyens informatiques à partir de corpus bruts. Les informations ne sont donc pas validées.

Serveur d'exploration sur Pittsburgh

Generative Story Worlds as Linear Logic Programs

Generative Story Worlds as Linear Logic Programs

Source :

Links toward previous steps (curation, corpus...)

Links to Exploration step

Le document en format XML

Pour manipuler ce document sous Unix (Dilib)

Pour mettre un lien sur cette page dans le réseau Wicri